Gödel's speed-up theorem